Recursive Moving Frames for Lie Pseudo-Groups
نویسندگان
چکیده
This paper introduces a new, fully recursive algorithm for computing moving frames and differential invariants of Lie pseudo-group actions. The recursive method avoids unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method. The development leads to novel results on partial moving frames, structure equations, and new differential operators underlying the moving frame construction. In particular, our methods produce a streamlined computational algorithm for determining moving frames and differential invariants of finite-dimensional Lie group actions.
منابع مشابه
Recursive Moving Frames
A recursive algorithm for the equivariant method of moving frames, for both finite-dimensional Lie group actions and Lie pseudo-groups, is developed and illustrated by several examples of interest. The recursive method enables one avoid unwieldy symbolic expressions that complicate the treatment of large scale applications of the equivariant moving frame method.
متن کاملMoving Frames and Differential Invariants for Lie Pseudo-groups
We survey a recent extension of the moving frames method for infinite-dimensional Lie pseudo-groups. Applications include a new, direct approach to the construction of Maurer–Cartan forms and their structure equations for pseudogroups, and new algorithms, based on constructive commutative algebra, for uncovering the structure of the algebra of differential invariants for pseudogroup actions.
متن کاملPseudo–groups, Moving Frames, and Differential Invariants
We survey recent developments in the method of moving frames for infinite-dimensional Lie pseudo-groups. These include a new, direct approach to the construction of invariant Maurer–Cartan forms and the Cartan structure equations for pseudo-groups, and new algorithms, based on constructive commutative algebra, for establishing the structure of their differential invariant algebras.
متن کاملMoving Frames for Lie Pseudo–Groups
We propose a new, constructive theory of moving frames for Lie pseudo-group actions on submanifolds. The moving frame provides an effective means for determining complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, and solving equivalence and symmetry problems arising in a broad range of applications. Mathematics subj...
متن کاملDifferential Invariant Algebras
The equivariant method of moving frames provides a systematic, algorithmic procedure for determining and analyzing the structure of algebras of differential invariants for both finite-dimensional Lie groups and infinite-dimensional Lie pseudo-groups. This paper surveys recent developments, including a few surprises and several open questions.
متن کامل